许多重要的集体决策问题可以被视为离散优化问题的多档版本。例如,参与式预算是背包问题的集体版本;其他示例包括集体调度和集体跨越树。对于每个问题,而不是开发特定模型,而不是开发特定模型,以及特定的算法技术,我们建议在统治与加权问题的统治聚合框架中表示和解决它们。我们基于将设定评分功能与运营商耦合,提供了集体离散优化(CDO)规则的模块化定义,我们展示了它们如何概括为特定CDO问题开发的几个现有程序。我们还基于整数线性编程(ILP)的实现,并在集体跨越树的问题上测试。
translated by 谷歌翻译
我们介绍了一个多功能代理商的投票模型。这种型号概述了液体民主的两个方面:首先,代理商的代表团可以使用多个其他代理商的投票来确定自己的投票 - 例如,代理商的投票可能对应于可值得信赖的代理人票数的大多数结果;其次,代理商可以在多个代表团上提交排名,以便在他们的首选代表团参与周期时可以使用备份代表团。本文的主要焦点是解开程序的研究,使从代理商处收到的代表团投票转变为直接投票的概况,从中可以通过使用标准投票规则来确定获胜的替代方案。我们提出并研究了六个这样的解开程序,两个基于优化和四种使用贪婪的方法。我们研究了算法和公理性质,以及我们解开程序的相关计算复杂性问题,以针对药剂可以提交的选票类型的不同限制。
translated by 谷歌翻译
Recent increases in computing power have enabled the numerical simulation of many complex flow problems that are of practical and strategic interest for naval applications. A noticeable area of advancement is the computation of turbulent, two-phase flows resulting from wave breaking and other multiphase flow processes such as cavitation that can generate underwater sound and entrain bubbles in ship wakes, among other effects. Although advanced flow solvers are sophisticated and are capable of simulating high Reynolds number flows on large numbers of grid points, challenges in data analysis remain. Specifically, there is a critical need to transform highly resolved flow fields described on fine grids at discrete time steps into physically resolved features for which the flow dynamics can be understood and utilized in naval applications. This paper presents our recent efforts in this field. In previous works, we developed a novel algorithm to track bubbles in breaking wave simulations and to interpret their dynamical behavior over time (Gao et al., 2021a). We also discovered a new physical mechanism driving bubble production within breaking wave crests (Gao et al., 2021b) and developed a model to relate bubble behaviors to underwater sound generation (Gao et al., 2021c). In this work, we applied our bubble tracking algorithm to the breaking waves simulations and investigated the bubble trajectories, bubble creation mechanisms, and bubble acoustics based on our previous works.
translated by 谷歌翻译
成功的材料选择对于设计和制造产品的设计自动化至关重要。设计师通过通过性能,制造性和可持续性评估选择最合适的材料来利用他们的知识和经验来创建高质量的设计。智能工具可以通过提供从先前的设计中学到的建议来帮助具有不同专业知识的设计师。为了实现这一目标,我们介绍了一个图表表示学习框架,该框架支持组装中身体的物质预测。我们将材料选择任务作为节点级预测任务,对CAD模型的汇编图表示,并使用图形神经网络(GNN)对其进行处理。在Fusion 360画廊数据集上执行的三个实验协议的评估表明我们的方法的可行性,达到了0.75 TOP-3 Micro-F1分数。提出的框架可以扩展到大型数据集,并将设计师的知识纳入学习过程。这些功能使该框架可以作为设计自动化的推荐系统以及未来工作的基准,从而缩小了人类设计师与智能设计代理之间的差距。
translated by 谷歌翻译
CT灌注(CTP)是一项体检,用于测量对比度溶液通过像素逐像素的大脑通过大脑的通过。目的是为缺血性病变迅速绘制“灌注图”(即脑血体积,脑血流量和峰值的时间),并能够区分核心和甲瘤区域。在缺血性中风的背景下,精确而快速的诊断可以确定脑组织的命运,并在紧急情况下指导干预和治疗。在这项工作中,我们介绍了UnitObrain数据集,这是CTP的第一个开源数据集。它包括一百多名患者的队列,并伴随着患者元数据和最新算法获得的地面真相图。我们还建议使用欧洲图书馆ECVL和EDDL进行图像处理和开发深度学习模型,提出了一种基于神经网络的新型算法。神经网络模型获得的结果与地面真相相匹配,并为所需数量的CT地图的潜在子采样开辟了道路,这对患者施加了重辐射剂量。
translated by 谷歌翻译
由于神经操作员能够在功能空间之间近似高维参数图,因此最近引起了重大关注。目前,在神经操作员文献中仅解决了参数函数近似。在这项工作中,我们调查将参数导数信息纳入神经操作员培训中;该信息可以改善功能近似值,此外,它可用于改善衍生物相对于参数的近似值,这通常是高维外环问题的可扩展解决方案的关键(例如,贝叶斯逆问题)。参数雅各布信息由于其高维度而正式棘手,可以正式地合并,以解决我们基于减少的SVD,随机草图和减少基础替代物的使用提出的这种关注。所有这些策略仅需要$ O(r)$ jacobian动作来构建样本雅各布数据,并允许我们减少与雅各布培训相关的线性代数和内存成本,从输入和输出维度的产品中降低到$ o。 (r^2)$,其中$ r $是与缩小技术相关的维度。参数PDE问题的数值结果表明,在训练问题中添加导数信息可以显着改善参数图近似值,尤其是在几乎没有数据的情况下。与参数图相比,当雅各布动作相比便宜时,可以在经济上代替参数地图数据。此外,我们表明,随着Jacobian培训数据的引入,Jacobian误差近似显着改善。该结果为在外环算法中使用衍生知识的神经操作员(恐龙)打开了大门,他们可以通过重复评估来摊销额外的培训数据成本。
translated by 谷歌翻译
最近,自我监督的神经语言模型最近已应用于生物序列数据,进步的结构,功能和突变效应预测。一些蛋白质语言模型,包括MSA变压器和Alphafold的Evoformer,将进化相关蛋白的多个序列比对作为输入。 MSA Transformer的行专注的简单组合导致了最新的无监督结构接触预测。我们证明,MSA变压器柱浓度的简单和通用组合与MSA中序列之间的锤距距离密切相关。因此,基于MSA的语言模型编码详细的系统发育关系。我们进一步表明,这些模型可以将编码功能和结构约束的共同进化信号与反映历史意义的系统发育相关性分开。为了评估这一点,我们从POTTS模型中生成了在天然MSA训练的POTTS模型的合成MSA。我们发现,当使用MSA变压器与推断的POTTS模型时,无监督的接触预测对系统发育噪声的弹性更大。
translated by 谷歌翻译
通常,层析成像是一个不适合的反问题。通常,从断层扫描测量中获得了拟距对象的单个正则图像估计。但是,可能有多个与相同的测量数据一致的对象。生成此类替代解决方案的能力很重要,因为它可以实现成像系统的新评估。原则上,这可以通过后采样方法来实现。近年来,已经采用了深层神经网络进行后验采样,结果令人鼓舞。但是,此类方法尚未用于大规模断层成像应用。另一方面,经验抽样方法在大规模成像系统上可能是可行的,并且可以对实际应用实现不确定性量化。经验抽样涉及在随机优化框架内求解正规化的逆问题,以获得替代数据一致的解决方案。在这项工作中,提出了一种新的经验抽样方法,该方法计算了与同一获得的测量数据一致的层析成像逆问题的多个解决方案。该方法通过在基于样式的生成对抗网络(stylegan)的潜在空间中反复解决优化问题的运行,并受到通过潜在空间探索(PULSE)方法的照片启发,该方法是为超分辨率任务开发而成的。通过涉及两种程式化的层析成像模式的数值研究来证明和分析所提出的方法。这些研究确定了该方法执行有效的经验抽样和不确定性定量的能力。
translated by 谷歌翻译
在本文中,我们会查看AutoEncoders。本文涵盖了自动化者的数学和基本概念。我们将讨论它们是什么,典型用例的限制,我们将看一些例子。我们将从AutoEncoders的一般介绍开始,我们将讨论激活函数在输出层和损耗功能中的作用。然后,我们将讨论重建错误是什么。最后,我们将看待典型的应用,作为减少,分类,去噪和异常检测。本文包含2021年给出的AutoEncoders上的Phd级讲义的音符。
translated by 谷歌翻译
物理产品通常是复杂的组件,组合计算机辅助设计(CAD)软件中建模的多个3D零件。CAD Designers通过使用称为关节的约束对齐各个部件来构建这些程序集。在本文中,我们介绍了可连接,一种基于学习的方法,可以将部件组合在一起以形成关节。可加入使用标准参数CAD文件中提供的弱监管,而无需对象类标签或人类指导。我们的研究结果表明,通过对实体模型的图表表示进行网络预测,我们可以优于多种基线方法,精度(79.53%)接近人类性能(80%)。最后,为了支持未来的研究,我们释放了Fusion 360 Gallery集合数据集,其中包含了具有关于关节,接触表面,孔和底层装配图结构的丰富信息的程序集。
translated by 谷歌翻译